Basic science

Results: 4014



#Item
491

BRICS RSK. Krukow: An Operational Semantics for Trust Policies BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2005-11-21 16:18:31
    492

    BRICS Basic Research in Computer Science BRICS RSJ. G. Henriksen: An Expressive Extension of TLC An Expressive Extension of TLC

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1999-09-30 05:30:10
      493

      BRICS Basic Research in Computer Science BRICS RSLyngsø & Pedersen: Protein Folding in the 2D HP Model Protein Folding in the 2D HP Model

      Add to Reading List

      Source URL: www.brics.dk

      Language: English - Date: 1999-06-29 04:45:35
        494

        BRICS Basic Research in Computer Science BRICS RSGerhardy & Kohlenbach: Extracting Herbrand Disjunctions by Functional Interpretation Extracting Herbrand Disjunctions by

        Add to Reading List

        Source URL: www.brics.dk

        Language: English - Date: 2003-10-29 10:06:37
          495

          BRICS Basic Research in Computer Science BRICS RSG´al & Miltersen: The Cell Probe Complexity of Succinct Data Structures The Cell Probe Complexity of

          Add to Reading List

          Source URL: www.brics.dk

          Language: English - Date: 2004-01-31 02:53:45
            496

            BRICS Basic Research in Computer Science BRICS RSPagh & Rodler: Cuckoo Hashing Cuckoo Hashing

            Add to Reading List

            Source URL: www.brics.dk

            Language: English - Date: 2001-09-06 07:56:19
              497

              BRICS Basic Research in Computer Science ´ BRICS RSEsik & Larsen: Regular Languages Definable by Lindstr¨om Quantifiers

              Add to Reading List

              Source URL: www.brics.dk

              Language: English - Date: 2003-08-19 09:18:50
                498

                BRICS Basic Research in Computer Science BRICS NS-00-2 Aceto & Victor (eds.): EXPRESS ’00 Preliminary Proceedings

                Add to Reading List

                Source URL: www.brics.dk

                Language: English - Date: 2000-08-07 05:43:43
                  499

                  The Battle Against Microbial Pathogens: Basic Science, Technological Advances and Educational Programs A. Méndez-Vilas (Ed.) How effective is Syndromic Disease Management and Laboratory Tests of Sexually Transmitted Inf

                  Add to Reading List

                  Source URL: www.formatex.info

                  Language: English - Date: 2015-03-27 12:36:20
                    500

                    BRICS Basic Research in Computer Science BRICS RS-04-6 Frandsen & Shparlinski: On Reducing a System of Equations to a Single Equation

                    Add to Reading List

                    Source URL: www.brics.dk

                    Language: English - Date: 2004-03-26 09:27:25
                      UPDATE